<HTML><HEAD><TITLE>fzn_run(+SolverOrOptions)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(flatzinc)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>fzn_run(+SolverOrOptions)</H1>
Run a FlatZinc model from standard input
<DL>
<DT><EM>SolverOrOptions</EM></DT>
<DD>Name of solver mapping module, or zn_options-structure
</DD>
</DL>
<H2>Description</H2>
<P>
	Reads a FlatZinc model from the input stream, and interprets it using
	the solver mapping defined in SolverOrOptions.  At the end of
	solving, resuls and timings are printed to the output stream. 
	Error messages may be printed to the error stream.  This
	predicate always succeeds. It is equivalent to:
    <PRE>
    fzn_run(SolverOrOptions) :-
	fzn_run_stream(input, SolverOrOptions).
    </PRE>
    </P>
<H3>Modes and Determinism</H3><UL>
<LI>fzn_run(+) is det
</UL>
<H2>Examples</H2>
<PRE>
    % generate_model | eclipse -e "flatzinc:fzn_run(fzn_ic)"
</PRE>
<H2>See Also</H2>
<A HREF="../../lib_public/flatzinc/fzn_run-2.html">fzn_run / 2</A>, <A HREF="../../lib_public/flatzinc/fzn_run_stream-2.html">fzn_run_stream / 2</A>
</BODY></HTML>
